21. Computing in Horn Clause Theories
Author: by Peter Padawitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
B974
1988
22. Conceptual Modeling -- ER '96 :
Author: edited by Bernhard Thalheim.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Logic design.
Classification :
QA76
.
9
.
D26
E358
1996
23. Concurrency:
Author: edited by Akinori Yonezawa, Takayasu Ito.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer hardware.,Computer science.,Logic design.
Classification :
QA76
.
58
E358
1991
24. Concurrency, Compositionality, and Correctnes
Author: / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Software engineering.,Computer software.,Logic design.
25. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
26. Data Types and Persistence
Author: edited by Malcolm P. Atkinson, Peter Buneman, Ronald Morrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
9
.
D35
E358
1988
27. Datenmodellierung mit deduktiven Techniken
Author: von Gustaf Neumann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science),Economics.,Logic design.
Classification :
QA76
.
9
.
D26
V664
1994
28. Delta-4:
Author: edited by David Powell.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Logic design.
Classification :
QA76
.
9
.
D5
E358
1991
29. Descriptional complexity of formal systems :
Author: edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.
Classification :
QA76
.
5913
D34
2019
30. Design, Analysis and Test of Logic Circuits Under Uncertaint
Author: / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer hardware,Computer science,Logic design,Operating systems (Computers),Algebra, Data processing,Systems engineering,Electronic books
Classification :
E-BOOK
31. Developments in Language Theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
32. Distributed programming : theory and practice
Author: / A. Udaya Shankar
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computer science,Software engineering,Logic design
Classification :
QA76
.
6
33. Dynamische Integrität von Datenbanken :
Author: von Udo W. Lipeck.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Logic design.
Classification :
QA76
.
9
.
D3
V668
1989
34. Fault Diagnosis and Fault Tolerance :
Author: by Tinghuai Chen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Computer science.,Logic design.
Classification :
QA76
.
9
.
F38
B985
1992
35. Formal Aspects of Component Software :
Author: edited by Corina S. Pasareanu, Gwen Salaün.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
36. Formal Engineering for Industrial Software Development :
Author: by Shaoying Liu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
B974
2004
37. Formal Methods in Programming and Their Applications :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1993
38. Foundations of Information and Knowledge Systems.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Logic design.
39. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
40. Funtional Programming Languages in Education :
Author: edited by Pieter H. Hartel, Rinus Plasmeijer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer Science.,Logic design.
Classification :
QA76
.
62
E358
1995
